$\forall$$a$,$b$,$c$:$\mathbb{Z}$. (($a$ + $b$) $\ast$ $c$) = (($a$ $\ast$ $c$) + ($b$ $\ast$ $c$))